p  q == (p) q 

latex

Up	bool 1, bool 1
Wellformedness Lemmas	bimplies wf, bimplies wf
Definitions	p q, b
FDL editor aliases	bimplies